Search results for " negation"

showing 9 items of 9 documents

Four Potential Meanings of Double Negation

2016

The figurative use of double negations (not uninteresting, not unhappy) has been described by linguists and rhetoricians with regards to the rhetorical figure litotes. Both mitigation and strengthening have been proposed as aims of litotes (Horn, 1989; Krifka, 2007; van der Wouden, 1996). An analysis of the construction nicht un-adjective (not un-adj.) on the basis of German corpora leads to a coherent system of pragmatic functions for this sort of double negations. The construction can function as denial, potential presumption denial, mitigation or understatement. Nevertheless, litotes exemplifies the “indeterminate nature of figurative meaning” as suggested by Colston/Gibbs (2012: 259) in…

060201 languages & linguisticsLinguistics and LanguageCommunicationPhilosophy06 humanities and the artsPragmatics0603 philosophy ethics and religionLiteral and figurative languageLanguage and LinguisticsLinguisticsLitotesMeaning (philosophy of language)Negation060302 philosophy0602 languages and literatureDouble negationRhetorical questionPsychology (miscellaneous)UnderstatementInternational Review of Pragmatics
researchProduct

Collection Principles in Dependent Type Theory

2002

We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.

Discrete mathematicsInterpretation (logic)Dependent type theory constructive set theory propositions-as-typesComputer scienceConstructive set theoryIntuitionistic logicIntuitionistic type theoryDependent typeAlgebraMathematics::LogicTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESDependent type theoryType theoryTheoryofComputation_LOGICSANDMEANINGSOFPROGRAMSComputer Science::Logic in Computer ScienceDouble negationSet theoryRule of inferenceAxiom
researchProduct

Conjunction and Disjunction Among Conditional Events

2017

We generalize, in the setting of coherence, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. Given a prevision assessment on the conjunction of two conditional events, we study the set of coherent extensions for the probabilities of the two conditional events. Then, we introduce by a progressive procedure the notions of conjunction and disjunction for n conditional events. Moreover, by defining the negation of conjunction and of disjunction, we show that De Morgan’s Laws still hold. We also show that the associative and commutative properties are satisfied. Finally, we examine in detail the conjunction for a family \(\mathcal F\) of t…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaComputer scienceConditional events · Conditional random quantities · Con- junction · Disjunction · Negation · Quasi conjunction · Coherent previ- sion assessments · Coherent extensions · De Morgan’s Laws02 engineering and technologyCoherence (philosophical gambling strategy)Settore MAT/01 - Logica Matematica01 natural sciencesDe Morgan's lawsConjunction (grammar)Set (abstract data type)010104 statistics & probabilitysymbols.namesakeNegation0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processing0101 mathematicsAlgorithmCommutative propertyAssociative propertyEvent (probability theory)
researchProduct

On Negation. What do we need to “say no”?

2011

By looking at first-language learning, we can see three broad categories in the acquisition of negation (see DIMROTH 2010 for a review):1) rejection/refusal; 2) disappearance/ non-existence/unfulfilled expectation; 3) denial. Denial is the most complex form of negation and the last to be acquired. I present the hypothesis that denial relies on false belief understanding. Evidence from normally developed and from Autistic subjects confirms this hypothesis. Competence in linguistic denial is usually acquired by the age of 2 years and a half and 3 years. According to this hypothesis, the attribution of false belief understanding could be lowered to the age of about 2 and a half years. Hence, p…

Linguistic NegationMindreadingFalse Belief TestSettore M-FIL/05 - Filosofia E Teoria Dei Linguaggi
researchProduct

Is displacement possible without language? Evidence from preverbal infants and chimpanzees

2013

Is displacement possible without language? This question was addressed in a recent work by Liszkowski and colleagues (Liszkowski, Schafer, Carpenter, & Tomasello, 2009). The authors carried out an experiment to demonstrate that 12-month-old prelinguistic infants can communicate about absent entities by using pointing gestures, while chimpanzees cannot. The main hypothesis of their study is that displacement does not depend on language but is, however, exclusively human and instead depends on species-specific social-cognitive human skills. Against this hypothesis, we will argue that a symbolic representation is needed to intentionally communicate absence and that this symbolic representa…

Opposition (planets)Representation (arts)DisplacementPrelinguistic Infants' GesturesDisplacement (linguistics)Displacement; Negation; Prelinguistic Infants' GesturesLinguisticsPhilosophyExpression (architecture)NegationNegationPsychologyOn LanguagePrelinguistic Infants’ GesturesSettore M-FIL/05 - Filosofia E Teoria Dei LinguaggiApplied PsychologyCognitive psychologyGesturePhilosophical Psychology
researchProduct

Logical Operations among Conditional Events: theoretical aspects and applications

2019

We generalize the notions of conjunction and disjunction of two conditional events to the case of $n$ conditional events. These notions are defined, in the setting of coherence, by means of suitable conditional random quantities with values in the interval $[0,1]$. We also define the notion of negation, by verifying De Morgan's Laws. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals and we show that some well known properties which are satisfied by conjunctions and disjunctions of unconditional events are also satisfied by conjunctions and disjunction of conditional events. We also examine in detail the coherence of the prevision a…

Settore MAT/06 - Probabilita' E Statistica MatematicaConditional events conditional random quantities conjunction disjunction negation coherent prevision assessments coherent extensions quasi conjunction probabilistic reasoning p-entailment inference rules iterated conditionals System P.
researchProduct

Inlärning och behärskning av svenskans verb- och adjektivböjning samt negationens placering hos finska grundskoleelever

2015

adjective morphologyruotsin kieliverbitsecond language learningverb morphologyplacement of negationkielioppiadjektiivitL2-Swedishruotsi toisena kielenäsuullinen kielitaitokieltoilmauksetkielen omaksuminenmuoto-oppiProsessability Theorygrammatical developmentyläkoulukielen oppiminen
researchProduct

Między grzecznością a skutecznością. Nauczycielskie akty negujące stosowane podczas rozmowy maturalnej

2021

W artykule prezentuję wyniki jakościowej analizy aktów negacji stosowanych przez egzaminatora podczas rozmowy maturalnej z języka polskiego. Tekst składa się z trzech zasadniczych części. W pierwszej przedstawiam ustny egzamin maturalny z języka polskiego, a także omawiam wyznaczniki gatunkowe rozmowy egzaminacyjnej, uznając, że jednym z nich jest cel grzecznościowy. W kolejnej części charakteryzuję grzeczność w relacji nauczyciel – uczeń, odnosząc się do polskiego modelu grzecznościowego i dwóch podstawowych zasad: autonomiczności i życzliwości. W trzeciej części prezentuję wyniki analizy aktów negacji i odpowiadam na pytania: jakie akty negacji stosują egzaminatorzy, w jaki sposób są one …

gatunek mowygenrerozmowa maturalnarelacje nauczyciel– uczeńteacher – student relationshipgrzeczność językowalanguage politenessakt negacjiact of negationMatura exam conversationPrace Językoznawcze
researchProduct

Semantic Complexity in Natural Language

2015

This chapter presents the technical framework that the authors used to define fragments of natural languages and formulate questions as to their semantic complexity. It examines the study of the classical syllogistic and its extensions. It analyzes the semantic complexity of various salient fragments of English. It highlights that the language of argument, featuring transitive verbs, is in an objective sense inferentially no more complex than the language of classical syllogisms exemplified by argument, indeed, the analogous extension featuring ditransitive verbs involves only a modest increase in complexity. On the other hand, the language of argument, which adds relative clauses to the cl…

numerical determinerssemantic complexitybound-variable anaphoranoun-level negationfragments of languagerelative clausessyllogistic proof systemnatural language
researchProduct